Os 500 Arhats

500 Solutions

No problem is ever permanently closed. The editor is always pleased to consider for publication new solutions or new insights o n p a s t p r oblems. (1) Determine the set of all c > 0 such that whenever (1) holds, then we have x + y + z xy + yz+ zx. The positive r eals c asked for are those satisfying c 4. From (1), we have xy < c and z = c ; xy x + y + xy. Substituting this value of z into th...

OS Kernel

The basic virtual memory-mapped communication (VMMC) model provides protected, direct communication between the sender's and receiver's virtual address spaces, but it does not support high-level connection-oriented communication APIs well. This paper presents VMMC-2, an extension to the basic VMMC. We describe the design, implementation , and evaluate the performance of three mechanisms in VMMC...

OS Virtualization

Ikar/os

Das Projekt IKAR/OS (Intelligent Knowledge and Research Operating System) hat sich zum Ziel gesetzt, ein intelligentes Wissensmanagementsystem für die Lebenswissenschaften zu entwickeln. Das Projekt wird von der Firma iAS GmbH (CEO Dr. Hirsch) in Zusammenarbeit mit dem Humanwissenschaftlichen Zentrum der LMU München (Prof. Pöppel) und der Universität Bremen (Prof. Schill) durchgeführt.

The Flux OS Toolkit: Reusable Components for OS Implementation

To an unappreciated degree, research both in operating systems and their programming languages has been severely hampered by the lack of cleanly reusable code providing mundane low-level OS infrastructure such as bootstrapcode and device drivers. The Flux OS Toolkit solves this problem by providing a set of clean, well-documented components. These components can be used as basic buildingblocks ...